f8683469b29a9cca26bbb5ca9d650426f76f92f8,library/src/org/webpki/keygen2/ProvisioningInitializationResponseDecoder.java,ProvisioningInitializationResponseDecoder,readJSONData,#JSONObjectReader#,59
Before Change
clientSessionId = getID(rd, CLIENT_SESSION_ID_JSON);
serverTime = rd.getDateTime(SERVER_TIME_JSON).getTime();
clientTime = rd.getDateTime(CLIENT_TIME_JSON).getTime();
After Change
clientSessionId = getID(rd, CLIENT_SESSION_ID_JSON);
serverTime = rd.getDateTime(SERVER_TIME_JSON);
clientTime = rd.getDateTime(CLIENT_TIME_JSON);